#include <kernel/definiciones.h>
#include <kernel/system.h>
#include <kernel/system_asm.h>
#include <kernel/puertos.h>
#include <kernel/syscall.h>
#include <kernel/pcb.h>
#include <kernel/gdt.h>
#include <kernel/libk/string.h>
#include <kernel/libk/libk.h>

#include <kernel/mem/memoria_s.h>
#include <kernel/mem/memoria_k.h>
#include <kernel/mem/paginas.h>

#include <shell/shell.h>
#include <shell/teclado.h>
#include <shell/sys_video.h>
#include <video.h>

#include <shell/cmd_log.h>
#include <shell/cmd_lotes.h>
#include <shell/cmd_planif.h>
#include <shell/cmd_regs.h>
#include <fs/ramfs.h>

#include <shell/help.h>









